201. An introduction to the planning domain definition language /
Author: Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.
Classification :
Q335
.
H37
2019
202. An introduction to the theory of formal languages and automata
Author: Levelt, Willem J. M.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Machine theory
Classification :
QA
267
.
3
.
L48
2008
203. An introduction to the theory of formal languages and automata
Author: / Willem J.M. Levelt
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal languages.,Machine theory.
Classification :
QA
,
267
.
3
,.
L48
,
2008
204. <An> introduction to the theory of formal languages and automata
Author: \ Willem J.M. Levelt.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal languages,Machine theory,نظریه ماشین,زبانهای صوری,a03,a04,a04,a03
Classification :
QA
267
.
3
.
L4I5
2008
E
.
Book
,
205. An introduction to the theory of formal languages and automata
Author: Levelt, W. J. M. )Willem J. M.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Machine theory
Classification :
QA
267
.
3
.
L48
2008
206. An introduction to the theory of formal languages and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal languages. ; Machine theory. ;
207. An introduction to the theory of formal languages and automata /
Author: Willem J.M. Levelt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages,Machine theory
Classification :
QA267
.
3
.
L48
2008
208. Analog and Mixed-Signal Hardware Description Language
Author: edited by Alain Vachoux, Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer hardware.,Computer science.
209. Analysis, Architectures and Modelling of Embedded Systems :
Author: edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Computer science.,Computer-aided design.
210. Analytical and stochastic modeling techniques and application
Author: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
Classification :
TK5105
.
5
.
I58
2010
211. Answer set solving in practice /
Author: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
Classification :
QA76
.
615
.
A58
2013eb
212. Applications and Theory of Petri Nets :
Author: edited by Anastasia Pagnoni, Grzegorz Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA267
.
E358
1983
213. Applied Abstract Algebra
Author: by Rudolf Lidl, Günter Pilz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Mathematics.
214. Approaches to Legal Rationality
Author: / Dov M. Gabbay... [et al.], editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Law -- Methodology,حقوق -- روششناسی
Classification :
K212
.
A685
2010
215. Argument structure and grammatical relations :
Author: edited by Pirkko Suihkonen, Bernard Comrie, Valery Solovyev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic books; Electronic book
216. Array grammars, patterns and recognizers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Machine theory,، Pattern recognition systems
Classification :
QA
267
.
3
.
A7
217. Artificial intelligence :
Author: edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
Classification :
Q334
218. Aspect, Modality, and Tense in Badiaranke
Author: Cover, Rebecca Tamar
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
219. Aspects and Prospects of Theoretical Computer Science :
Author: by Jürgen Dassow, Jozef Kelemen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Informatique -- Congrès.
Classification :
QA75
.
5
B958
1990
